John W Schlipf: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Commonsense axiomatizations for logic programs

Allen Van Gelder, John S. Schlipf

Journal:

The Journal of Logic Programming

Year:

1993

Language:

english

File:

PDF, 2.76 MB

english, 1993

2

Toward Model Theory Through Recursive Saturation

John Stewart Schlipf

Journal:

Journal of Symbolic Logic

Year:

1978

Language:

english

File:

PDF, 577 KB

english, 1978

3

A guide to the identification of admissible sets above structures

John S. Schlipf

Journal:

Annals of Mathematical Logic

Year:

1977

Language:

english

File:

PDF, 2.43 MB

english, 1977

4

Decidability and definability with circumscription

John S. Schlipf

Journal:

Annals of Pure and Applied Logic

Year:

1987

Language:

english

File:

PDF, 1.33 MB

english, 1987

5

Listeria associated mural and valvular endocarditis in an alpaca

Megan J. McLane, John W. Schlipf Jr., Marco L. Margiocco, Howard Gelberg

Journal:

Journal of Veterinary Cardiology

Year:

2008

Language:

english

File:

PDF, 359 KB

english, 2008

6

Cryptosporidiosis in 20 alpaca crias

Waitt, Laura H., Cebra, Christopher K., Firshman, Anna M., McKenzie, Erica C., Jr, John W. Schlipf

Journal:

Journal of the American Veterinary Medical Association

Year:

2008

Language:

english

File:

PDF, 765 KB

english, 2008

7

Pharmacokinetic evaluation and safety of topical 1% morphine sulfate application on the healthy equine eye

Gordon, Emma, Stang, Bernadette V., Heidel, Jerry, Poulsen, Keith P., Cebra, Christopher K., Schlipf, John W.

Journal:

Veterinary Ophthalmology

Year:

2018

Language:

english

File:

PDF, 297 KB

english, 2018

8

On finding solutions for extended Horn formulas

John S. Schlipf, Fred S. Annexstein, John V. Franco, R.P. Swaminathan

Journal:

Information Processing Letters

Year:

1995

Language:

english

File:

PDF, 444 KB

english, 1995

9

Unique satisfiability of Horn sets can be solved in nearly linear time

Kenneth A. Berman, John Franco, John S. Schlipf

Journal:

Discrete Applied Mathematics

Year:

1995

Language:

english

File:

PDF, 960 KB

english, 1995

10

An algorithm for the class of pure implicational formulas

John Franco, Judy Goldsmith, John Schlipf, Ewald Speckenmeyer, R.P. Swaminathan

Journal:

Discrete Applied Mathematics

Year:

1999

Language:

english

File:

PDF, 137 KB

english, 1999

11

The expressiveness of locally stratified programs

Howard A. Blair, V. Wiktor Marek, John S. Schlipf

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

1995

Language:

english

File:

PDF, 974 KB

english, 1995

12

Complexity and undecidability results for logic programming

John S. Schlipf

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

1995

Language:

english

File:

PDF, 1.87 MB

english, 1995

13

Formalizing a logic for logic programming

John S. Schlipf

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

1992

Language:

english

File:

PDF, 1.21 MB

english, 1992

14

Minimum alveolar concentration of desflurane in llamas and alpacas

Tamara L Grubb, John W Schlipf, Thomas W Riebold, Christopher K Cebra, Lisa Poland, Xenia Zawadzkas, Nicole Mailhot

Journal:

Veterinary Anaesthesia and Analgesia

Year:

2006

Language:

english

File:

PDF, 51 KB

english, 2006

15

An empirical study of the 4‐valued Kripke–Kleene and 4‐valued well‐founded semantics in random propositional logic programs

Chris Giannella, John Schlipf

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

1999

Language:

english

File:

PDF, 313 KB

english, 1999

16

Eimeria macusaniensis infection in 15 llamas and 34 alpacas

Cebra, Christopher K., Valentine, Beth A., Schlipf, John W., Bildfell, Robert J., McKenzie, Erica, Waitt, Laura H., Heidel, Jerry R., Cooper, Barry J., Löhr, Christiane V., Bird, Karyn E., Saulez, Mon

Journal:

Journal of the American Veterinary Medical Association

Year:

2007

Language:

english

File:

PDF, 759 KB

english, 2007

17

An Introduction to Recursively Saturated and Resplendent Models

Jon Barwise and John Schlipf

Journal:

Journal of Symbolic Logic

Year:

1976

Language:

english

File:

PDF, 187 KB

english, 1976

18

Ordinal Spectra of First-Order Theories

John Stewart Schlipf

Journal:

Journal of Symbolic Logic

Year:

1977

Language:

english

File:

PDF, 328 KB

english, 1977

19

Computed tomographic characterization of the pulmonary system in clinically normal alpacas

Cooley, Stacy D., Schlipf Jr, John W., Stieger-Vanegas, Susanne M.

Journal:

American Journal of Veterinary Research

Year:

2013

Language:

english

File:

PDF, 501 KB

english, 2013

20

Formal modeling of a system of chemical reactions under uncertainty

Ghosh, Krishnendu, Schlipf, John

Journal:

Journal of Bioinformatics and Computational Biology

Year:

2014

Language:

english

File:

PDF, 754 KB

english, 2014

21

Generating subsets of order statistics with applications to trimmed means and means of trimmings

Horn, Paul S., Schlipf, John S.

Journal:

Journal of Statistical Computation and Simulation

Year:

1986

Language:

english

File:

PDF, 477 KB

english, 1986

22

An introduction to recursively saturated and resplendent models

Barwise, Jon, Schlipf, John

Journal:

Journal of Symbolic Logic

Year:

1976

Language:

english

File:

PDF, 538 KB

english, 1976

23

The well-founded semantics for general logic programs

Van Gelder, Allen, Ross, Kenneth A., Schlipf, John S.

Journal:

Journal of the ACM

Year:

1991

Language:

english

File:

PDF, 2.01 MB

english, 1991

24

[ACM Press the seventh ACM SIGACT-SIGMOD-SIGART symposium - Austin, Texas, United States (1988..-..)] Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems - PODS '88 - Unfounded sets and well-founded semantics for general logic programs

Van Gelder, Allen, Ross, Kenneth, Schlipf, John S.

Year:

1988

Language:

english

File:

PDF, 1.04 MB

english, 1988

25

[ACM Press the ninth ACM SIGACT-SIGMOD-SIGART symposium - Nashville, Tennessee, United States (1990.04.02-1990.04.04)] Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems - PODS '90 - The expressive powers of the logic programming semantics (extended abstract)

Schlipf, John S.

Year:

1990

Language:

english

File:

PDF, 824 KB

english, 1990

26

[IEEE 2015 American Control Conference (ACC) - Chicago, IL, USA (2015.7.1-2015.7.3)] 2015 American Control Conference (ACC) - Optimization of a feed-forward controller using a CW-lidar system on the CART3

Haizmann, Florian, Schlipf, David, Raach, Steffen, Scholbrock, Andrew, Wright, Alan, Slinger, Chris, Medley, John, Harris, Michael, Bossanyi, Ervin, Cheng, Po Wen

Year:

2015

Language:

english

File:

PDF, 1.54 MB

english, 2015

27

Recursively Saturated Models of Set Theory

John Stewart Schlipf

Journal:

Proceedings of the American Mathematical Society

Year:

1980

Language:

english

File:

PDF, 260 KB

english, 1980

28

Use of chemotherapy for treatment of a mixed-cell thoracic lymphoma in a horse

Saulez, Montague N., Schlipf, John W., Cebra, Christopher K., McDonough, Sean P., Bird, Karyn E.

Journal:

Journal of the American Veterinary Medical Association

Year:

2004

Language:

english

File:

PDF, 260 KB

english, 2004

29

A Generalized Kleene-Moschovakis Theorem

Leo Harrington, Lefteris Kirousis and John Schlipf

Journal:

Proceedings of the American Mathematical Society

Year:

1978

Language:

english

File:

PDF, 282 KB

english, 1978

30

Who's being swindled?: a case for enlightened naivete

Horn, Paul S., Schlipf, John S.

Journal:

Journal of Statistical Computation and Simulation

Year:

1986

Language:

english

File:

PDF, 644 KB

english, 1986

31

Assessment of serum concentrations and sedative effects of fentanyl after transdermal administration at three dosages in healthy llamas

Grubb, Tamara L., Gold, Jenifer R., Schlipf, John W., Craig, A. Morrie, Walker, Karen C., Riebold, Thomas W.

Journal:

American Journal of Veterinary Research

Year:

2005

Language:

english

File:

PDF, 63 KB

english, 2005

32

Minimum alveolar concentration of sevoflurane in spontaneously breathing llamas and alpacas

Grubb, Tamara L., Schlipf, John W., Riebold, Thomas W., Cebra, Christopher K., Poland, Lisa, Zawadzkas, Xenia, Mailhot, Nicole

Journal:

Journal of the American Veterinary Medical Association

Year:

2003

Language:

english

File:

PDF, 76 KB

english, 2003

33

Recursively saturated models of set theory

Schlipf, John Stewart

Journal:

Proceedings of the American Mathematical Society

Year:

1980

Language:

english

File:

PDF, 862 KB

english, 1980

34

Esthesiometric evaluation of corneal analgesia after topical application of 1% morphine sulfate in normal horses

Gordon, Emma, Sandquist, Christy, Cebra, Christopher K., Heidel, Jerry, Poulsen, Keith, Schlipf, John W.

Journal:

Veterinary Ophthalmology

Year:

2017

Language:

english

File:

PDF, 121 KB

english, 2017

35

Nasal Adenocarcinoma in a Horse with Metastasis to Lung, Liver, and Bone and Review of Metastasis in Nine Horses with Sinonasal Tumors

Hanna, Ashley, Stieger-Vanegas, Susanne M., Heidel, Jerry R., Esser, Melissa, Schlipf, John, Mecham, Jacob

Journal:

Case Reports in Veterinary Medicine

Year:

2015

Language:

english

File:

PDF, 3.19 MB

english, 2015

36

Klossiella equi infection in a Cheval Canadien Mare

Baker, Rose E., Schlipf, John W., Brady, Jacqueline V., Gorman, M. Elena

Journal:

Veterinary Clinical Pathology

Year:

2018

Language:

english

File:

PDF, 738 KB

english, 2018

37

Pyogranulomatous enteritis and mesenteric lymphadenitis in an adult llama caused by Rhodococcus equi carrying virulence-associated protein A gene

Löhr, Christiane V., O’Neill, T. William, Daw, Danielle N., Pitel, Mariya O., Schlipf, John W.

Journal:

Journal of Veterinary Diagnostic Investigation

Year:

2019

Language:

english

File:

PDF, 851 KB

english, 2019

38

Extending Existential Quantification in Conjunctions of BDDs

Weaver, Sean, Franco, John, Schlipf, John

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2006

File:

PDF, 321 KB

2006

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски